Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing, the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. (...) Though less well known than his other work, Turing's 1938 Princeton PhD thesis, "Systems of Logic Based on Ordinals," which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This book presents a facsimile of the original typescript of the thesis along with essays by Andrew Appel and Solomon Feferman that explain its still-unfolding significance. A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal--a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that "mathematical reasoning can be done, and should be done, in mechanizable formal logic." Turing's vision of "constructive systems of logic for practical use" has become reality: in the twenty-first century, automated "formal methods" are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science. (shrink)

What is the function of cognition? On one influential account, cognition evolved to co-ordinate behaviour with environmental change or complexity. Liberal interpretations of this view ascribe cognition to an extraordinarily broad set of biological systems—even bacteria, which modulate their activity in response to salient external cues, would seem to qualify as cognitive agents. However, equating cognition with adaptive flexibility per se glosses over important distinctions in the way biological organisms deal with environmental complexity. Drawing on contemporary advances in theoretical biology (...) and computational neuroscience, we cash these distinctions out in terms of different kinds of generative models, and the representational and uncertainty-resolving capacities they afford. This analysis leads us to propose a formal criterion for delineating cognition from other, more pervasive forms of adaptive plasticity. On this view, biological cognition is rooted in a particular kind of functional organisation; namely, that which enables the agent to detach from the present and engage in counterfactual inference. (shrink)

Detailed studies of people who have experienced the Capgras delusion (the delusion that certain other people, usually close relatives, have been replaced by impostors) have led to advances in constructing an account which can deal with the basic symptomatology, testing alternative possibilities, generating and testing non‐trivial predictions, and broadening the scope of the basic account to encompass other delusions. This paper outlines these developments. It uses them to explore implications for understanding the formation and maintenance of beliefs, and to discuss (...) basic principles of what has come to be known as cognitive neuropsychiatry. (shrink)

The God of Israel in the theology of Robert Jenson -- Jenson's hermeneutics -- Godd in Israel's life -- The God of Israel and Jesus -- The God of Israel and the Trinity -- The God of Israel, the People of God, and the Eschaton -- The identity of the one and triune God of Israel -- Jenson, the God of Israel, and non-supersessionist theology.

This study focuses on concepts and, ultimately, their possible implementation in brains. Especially salient is analysis of Jerry Fodor's work. The view of concepts found therein is one where many of both are "simple": to be ascribed or to token most concepts doesn't require being ascribed or tokening any other concepts, and most symbols lack "parts" which are themselves symbols. This is, I think, a very popular, and mistaken, view. ;In chapter 1, I argue that Fodor's theory of content is, (...) contra its goals, neither naturalistic nor atomistic. A deep mistake undermines both, viz. that there's no way to individuate a mental symbol non-semantically. This leads to chapter 2, where I explore the much neglected notion of Mentalese syntax. I argue that there are three possible principles of syntactic type individuation, and that these turn out not only to be incompatible but also inadequate for a "language of thought." I conclude that the idea of simple mental symbols is in trouble. ;This then allows me to argue in chapter 3 that we don't have to fear intentional holism , which sanctions the prevalence of complex concepts. I next sketch, in chapter 4, the sort of complex symbols needed to implement complex concepts. The chapter's bulk consists in an empirical argument for the complexity view via seven domains of current cognitive science, including concept context dependency, typicality effects, association, and reasoning. ;Chapter 5 concludes by exploring connectionism. I argue that, despite problems, connectionism seems on the right track in a way that Fodor's computationalism isn't. For example, it's more explicitly brain-like; in dropping the idea of mental computation over symbols it's free from the syntax problems of chapter 2; and, most important, it's highly compatible with the complexity view, which best characterized the cognitive processes of chapter 4. (shrink)

Pietraszewski exemplifies the need for computational theory using group conflict; I complement this with an example of group cooperation. He criticizes past theories for having black boxes; I suggest his theory also has a black box – the concept of costs. He divides what mentally constitutes a group from mere ancillary attributes; I hazard that some of these attributes are essential.

In Act 1 scene iv of Macbeth, Duncan reflects that: 'There's no art to find the mind's construction in the face'. In contrast, the claim that Andy Young sets out in this book is that we are now developing a science of face perception which can indeed shed light on certain aspects of mentallife. Face and Mind consists of a series of seminal research and review papers on face perception published by the author and his colleagues over the last 12 (...) years. A comprehensive introductory chapter, written especially for this volume, serves to draw together the various themes explored in thedifferent contributions. The book examines the question of how faces are special, in terms of their social, biological, and theoretical roles. In particular, Face and Mind seeks to determine what our understanding of the face can tell us about the human brain. It discusses the evidence for anevolved neural substrate for face perception, and the question of whether we are innately predisposed to recognise faces, to find them attractive, and to decode the many social signals they give us. The ability of the human brain to process and remember the many different faces that we see andsubsequently recall is analysed. Young includes detailed studies of the types of impairment to face perception which can follow brain injury or psychiatric illness, and uses them to address these questions, as well as other issues of high intrinsic and interdisciplinary interest. These include theextent to which our mental lives result from the operation of discrete components devoted to different purposes, the differences between conscious and non-conscious processes, and how we use evidence to support our beliefs about the world. Because of the huge variety of social signals read from theface, it can offer unique theoretical and philosophical insights into these questions. This fascinating book will be of interest not only to psychologists and neuropsychologists working in the field of visual perception, but to cognitive scientists generally. It provides an excellent summary ofthe most important theorietical and empirical work done on face perception in recent years, and as such will be of interest to advanced undergraduate and post-graduate students in psychology, philosophy, and cognitive science. (shrink)

Many philosophers who support a four-dimensionalist metaphysics of things also conceive of experience as a state of a mind having temporal extension or existing as a momentary feature of the dimension of time. This essay shows that such a strict four-dimensionalism — suggested in works by D. M. Armstrong, Mark Heller, and David Lewis — cannot be correct, since it cannot allow for the passing of time that is essential to awareness. The argument demonstrates that the positing of any temporal (...) process at all must compromise the strict four-dimensionalist view of the temporality of experience. This is not to say that the traditional endurantist view is left wholeheartedly endorsed. As I point out, this traditional view makes several questionable claims of its own that must be carefully scrutinized. Still, the criticism of the strict four-dimensionalist ontology indicates a direction to be followed in developing a successful metaphysics of experience. (shrink)

Constructive theories usually have interesting metamathematical properties where explicit witnesses can be extracted from proofs of existential sentences. For relational theories, probably the most natural of these is the existence property, EP, sometimes referred to as the set existence property. This states that whenever ϕϕ is provable, there is a formula χχ such that ϕ∧χϕ∧χ is provable. It has been known since the 80s that EP holds for some intuitionistic set theories and yet fails for IZF. Despite this, it has (...) remained open until now whether EP holds for the most well known constructive set theory, CZF. In this paper we show that EP fails for CZF. (shrink)

Introduction: The aim of this study was to investigate time-trial (TT) performance in the presence of one competitor and in a group with competitors of various abilities. Methods: In a randomized order, 24 participants performed a 5-km cycling TT individually (IND), with one similarly matched participant (1v1), and in a group of four participants (GRP). For the GRP session, two pairs of matched participants from the 1v1 session were used. Pairs were selected so that TT duration was considered either inferior (...) (INF) or superior (SUP) compared to the other pair of participants. Results: Overall, TT duration (P = 0.86, ηp2 < 0.01) was not different between conditions, whilst heart rate (HR) was significantly greater in GRP compared to IND (P < 0.01, ηp2 = 0.16). For INF, a large effect size for both mean power (P = 0.07, ηp2 = 0.15) and HR (P = 0.05, ηp2 = 0.16), indicates greatest effort in GRP. Pacing behaviour was affected by competition but similar in 1v1 and GRP for SUP, whilst large effect sizes indicate an increased power output in the initial 750-m for INF in GRP. Additionally, for INF, there was a significant correlation with ego orientation for an increase in TT duration between the GRP session and both the IND (r = 0.43, P = 0.04) and 1v1 (r = 0.54, P = 0.01) sessions. Conclusion: For INF participants, intensity was increased when competing in GRP. Yet, the presence of the SUP competitors resulted in lesser performance improvements for ego oriented INF participants. These findings demonstrate that consideration should be given to the ability of competitors in a group setting to provide adequate motivation. (shrink)

In this pivotal year for gene editing, the breakthrough molecular system CRISPR–Cas9 has advanced on three fronts. In under seven months, an influential scientific body—the National Academies of Sciences, Engineering, and Medicine the National Academies of Sciences, Engineering, and Medicine—cracked open the door to human germline gene editing, ownership of patents covering CRISPR–Cas9 came into much sharper focus as a result of a dispute between two parties, and experiments showing proof of concept of the most controversial of uses—altering germlines of (...) humans—were revealed as having been successfully performed by a mainstream laboratory. Given the vast spoils that await the patent owners, final results of all patent disputes over CRISPR–Cas9 patents may stretch on for years. Meanwhile, bioethical considerations of CRISPR–Cas9 have also been contentious as the United States and other countries grapple with how best to regulate gene editing. (shrink)

Majority-Minority electoral districts, while increasing the number of minorities in legislatures, work to deepen divisions among racial groups, to exacerbate the systematic disadvantages of some individuals, and to impede effective representation. I examine another form of race-conscious districting that will increase marginalized minority presence in legislatures while avoiding these problems.

Paracelsus was a transmutational alchemist: For most of his career, he believed that one metal could be turned into another. In an alchemical text, the De renovatione et restauratione, he explored the theoretical foundations of transmutation and hinted at recipes for bringing it about. He proposed that from plants, gems, metals, and minerals might be prepared a class of marvelous medicaments, which he called prima entia (first entities). Each primum ens had particular uses, but the entia were all supposed to (...) be able to revitalize the human body and cleanse it of disease. Certain entia could also transmute metals. The De renovatione et restauratione affirmed the metaphysical centrality, in goldmaking and medicine alike, not just of purification or alteration but of renewal and transformation. It expressed the author’s eschatological excitement at God’s works of wonder, whether within or above nature. (shrink)

This essay argues against David Carr’s relativism by clarifying the in principle requirements appropriate to non-relative truths and showing that de facto differences of conceptual frameworks threaten none of them. Non-relative truths are not threatened by history. This defense of non-relative truth belongs to a larger defense of Husserlian “science” that shows how essences, even those “delivered” by history, have a universal “governance” and can be affirmed in nonrelative truths-as such science requires. If history also allows the other qualities of (...) Husserlian science to obtain, then, the essay concludes, such science can exist even as a “situated science.”. (shrink)

On June 13, 2013, the Supreme Court placed its imprimatur on a principle that has been gathering force within patent law for several decades: human beings constitute unpatentable subject matter. In Association for Molecular Pathology v. Myriad Genetics, Inc., the court answered the question it had posed itself–“Are human genes patentable?”–decisively in the negative. This legal result was predictable, given a careful reading of the entrails of judicial decisions, congressional bills, executive branch pronouncements, and decisions in other countries about patents (...) claiming human‐related inventions, all of which have echoed the spirit of the Thirteenth Amendment by proscribing property rights‐including intellectual property rights‐in human beings. To understand how patent law has evolved toward this result, one may trace the legal treatment of patents claiming human embryonic stem cells, chemical products of human physiology, human thought, and now, human genes. Woven together, these strands of evidence led inexorably toward the ultimate rejection of human gene patents by the Supreme Court. (shrink)

: Many philosophers interpret Edmund Husserl as relying upon his phenomenological epoché to escape contextual powers so as to recover a contextually unconditioned "constituting" consciousness. I show, however, that in both Ideas I and Cartesian Meditations Husserl relies upon the epoché for something more modest, though important: studying the immanent "reaches" of experience—experience providing, among other things, intuitive disclosures that ultimately legitimate all "science." For this study, experience is to be taken as it exists, even if contextually conditioned. The epoché (...) thus supports a study of experiential immanence—a study definitive of phenomenology—compatible with contextual conditioning. (shrink)